#include "junix.h"

int main(int argc, char **argv)
{
    assert( fileno(stdin) == STDIN_FILENO);
    assert( fileno(stdout) == STDOUT_FILENO);
    assert( fileno(stderr) == STDERR_FILENO);
    
    exit(0);
}

